Some pseudovariety joins involvinglocally trivial semigroups
نویسندگان
چکیده
منابع مشابه
Pseudovariety joins involving J -trivial semigroups and completely regular semigroups
J. Rhodes asked during the Chico conference in 1986 for the calculation of joins of semigroup pseudovarieties. This paper proves that the join J∨V of the pseudovariety J of J -trivial semigroups and of any 2-strongly decidable pseudovariety V of completely regular semigroups is decidable. This problem was proposed by the first author for V = G, the pseudovariety of finite groups.
متن کاملTameness of pseudovariety joins
The concept of tameness of a pseudovariety was introduced by Almeida and Steinberg [1] as a tool for proving decidability of the membership problem for semidirect products of pseudovarieties. Recall that the join V ∨ W of two pseudovarieties V and W is the least pseudovariety containing both V and W. This talk is concerned with the problem of proving tameness of joins. This problem was consider...
متن کاملTameness of pseudovariety joins involving R 1
In this paper, we establish several decidability results for pseudovariety joins of the form V ∨ W, where V is a subpseudovariety of J or the pseudovariety R. Here, J (resp. R) denotes the pseudovariety of all J-trivial (resp. R-trivial) semigroups. In particular, we show that the pseudovariety V ∨ W is (completely) κ-tame when V is a subpseudovariety of J with decidable κ-word problem and W is...
متن کاملTameness of Joins involving the Pseudovariety of Local Semilattices
In this paper we prove that, if V is a κ-tame pseudovariety which satisfies the pseudoidentity xyz = xyz, then the pseudovariety join LSl∨V is also κ-tame. Here, LSl denotes the pseudovariety of local semilattices and κ denotes the implicit signature consisting of the multiplication and the (ω − 1)-power. As a consequence, we deduce that LSl ∨V is decidable. In particular the joins LSl ∨ Ab, LS...
متن کاملSome Operators that Preserve the Locality of a Pseudovariety of Semigroups
It is shown that if V is a local monoidal pseudovariety of semigroups, then K©m V, D©m V and LI©m V are local. Other operators of the form Z©m( ) are considered. In the process, results about the interplay between operators Z©m( ) and ( ) ∗ Dk are obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semigroup Forum
سال: 2001
ISSN: 0037-1912,1432-2137
DOI: 10.1007/s002330010060